par Devillers, Raymond
Editeur scientifique Best, Eike
Référence (May 1991: Goslar, Germany), 3rd Workshop on Concurrency and Compositionality, GMD-Studien Nr. 191, Hildesheimer Informatik-Berichte, Vol. 6, page (80-82)
Publication Publié, 1991-05
Publication dans des actes
Titre:
  • Maximality Preserving Bisimulation: Simplifications and Extensions
Auteur:Devillers, Raymond
Editeur scientifique:Best, Eike
Informations sur la publication:(May 1991: Goslar, Germany), 3rd Workshop on Concurrency and Compositionality, GMD-Studien Nr. 191, Hildesheimer Informatik-Berichte, Vol. 6, page (80-82)
Statut de publication:Publié, 1991-05
Sujet CREF:Informatique mathématique
Mots-clés:maximality preserving bisimulation (between) place/transition net(s); memoryless refinement; selfconcurrent systems; interleaving semantics
Langue:Anglais